Клини - vertaling naar Engels
DICLIB.COM
AI-gebaseerde taaltools
Voer een woord of zin in in een taal naar keuze 👆
Taal:     

Vertaling en analyse van woorden door kunstmatige intelligentie

Op deze pagina kunt u een gedetailleerde analyse krijgen van een woord of zin, geproduceerd met behulp van de beste kunstmatige intelligentietechnologie tot nu toe:

  • hoe het woord wordt gebruikt
  • gebruiksfrequentie
  • het wordt vaker gebruikt in mondelinge of schriftelijke toespraken
  • opties voor woordvertaling
  • Gebruiksvoorbeelden (meerdere zinnen met vertaling)
  • etymologie

Клини - vertaling naar Engels


Клини         
p.n.
Kleene
Kleene closure         
UNARY OPERATION ON SETS OF STRINGS, USED IN REGULAR EXPRESSIONS FOR "ZERO OR MORE REPETITIONS"
Kleene closure; Kleene plus; Star operation; Σ*; Kleene operator; Kleene operators; Star closure

общая лексика

замыкание Клини

Definitie

Клини
(Kleene)

Стивен Коул (р. 5.1.1909, Хартфорд, штат Коннектикут), американский логик и математик. В 1934 получил степень доктора философии в Принстонском университете. Профессор Висконсинского университета (Мадисон) с 1948. Основные работы посвящены теории алгоритмов и рекурсивных функций, а также проблемам интуиционистской логики и математики. В частности, им доказана эквивалентность введённого А. Чёрчем понятия λ-определимости функций с общерекурсивностью. Введённое К. понятие (рекурсивной) реализуемости формул лежит в основе интуиционистской интерпретации арифметических суждений. К. - автор ряда широко известных монографий по математической логике, основаниям математики и теории рекурсивных функций.

Соч. в рус. пер.: Введение в метаматематику, М., 1957.

Wikipedia

Клини
  • Клини, Коррадо (род. 1947) — итальянский политик.
  • Клини, Стивен Коул (1909—1994) — американский математик и логик.

Voorbeelden uit tekstcorpus voor Клини
1. Своим учителем Александра Александровича считают многие хирурги страны, но особо чтут его наследие в Центральном военном клини?ческом госпитале, носящем его имя.
Vertaling van &#39Клини&#39 naar Engels